Extending Fuzzy Description Logics for the Semantic Web

Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained considerable attention the last couple of years since on the one hand they are pivotal for applications that are inherently imprecise, like multimedia analysis and retrieval, geospatial applications and more, while on the other hand they can be applied to Semantic Web applications, like querying with preferences, modelling levels of trust and proof and more. In the current paper we extend the current state-of-the-art on fuzzy extensions to Semantic Web languages by presenting the syntax and semantics of the fuzzy-SROIQ DL as well as the abstract, XML syntax and semantics of a fuzzy extension to OWL 1.1. Moreover, we provide reasoning support for a fuzzy version of fuzzy-SROIQ by extending well-known reduction techniques of fuzzy DLs to classical DLs for the additional axioms and constructors of fuzzy-SROIQ.